Search Sciweavers | Sciweavers

13917 search results - page 66 / 2784

» Abstraction of Probabilistic Systems

119

click to vote

FLOPS
2010
Springer

246views Automated Reasoning» more FLOPS 2010»

Delimited Control in OCaml, Abstractly and Concretely: System Description

16 years 1 months ago

Download okmij.org

Oleg Kiselyov

claim paper

Read More »

140

click to vote

IPSN
2009
Springer

145views Sensor Networks» more IPSN 2009»

Poster abstract: Energy management in wireless healthcare systems

16 years 28 days ago

Download seelab.ucsd.edu

Priti Aghera, Tajana Simunic Rosing, Diana Fang, K...

claim paper

Read More »

104

click to vote

DATE
2009
IEEE

93views Hardware» more DATE 2009»

Networked embedded system applications design driven by an abstract middleware environment

16 years 28 days ago

Download www.date-conference.com

Franco Fummi, Giovanni Perbellini, Niccolo Roncola...

claim paper

Read More »

110

Voted

IAT
2009
IEEE

141views Intelligent Agents» more IAT 2009»

Abstract Requirement Analysis in Multiagent System Design

16 years 28 days ago

Download people.cis.ksu.edu

Scott J. Harmon, Scott A. DeLoach, Robby

claim paper

Read More »

127

click to vote

LPNMR
2009
Springer

173views Automated Reasoning» more LPNMR 2009»

Argumentation Context Systems: A Framework for Abstract Group Argumentation

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers