3729 search results - page 690 / 746 » On Formal Modeling of Agent Computations |
138
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
163
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...
153
click to vote
FOSSACS
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
189
click to vote
RTSS
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
153
click to vote
ISORC
2009
IEEE
16 years 21 days ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...