4631 search results - page 604 / 927 » Experiences with an Environment Generation System |
183
click to vote
JISE
2010
15 years 1 months ago
2010
abstraction for ubiquitous computing. The key to service modeling of SOA-based systems is in classifying services into business, application, and orchestration layers. However, ser...
199
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
192
click to vote
SIGUCCS
2005
ACM
16 years 11 days ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...
355
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
190
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
As agent systems are solving more and more complex tasks in increasingly challenging domains, the systems themselves are becoming more complex too, often compromising their adapti...