4353 search results - page 843 / 871 » Expressiveness of Process Algebras |
HPDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
HUC
2010
Springer
14 years 10 months ago
2010
Springer
Today's mobile phones represent a rich and powerful computing platform, given their sensing, processing and communication capabilities. Phones are also part of the everyday l...
113
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
MM
2010
ACM
14 years 10 months ago
2010
ACM
Images can affect people on an emotional level. Since the emotions that arise in the viewer of an image are highly subjective, they are rarely indexed. However there are situation...
126
click to vote
ICECCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...