2118 search results - page 377 / 424 » Execution of A Requirement Model in Software Development |
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
ECOOPWEXCEPTION
2006
Springer
15 years 1 months ago
2006
Springer
Asynchronous Active Objects (AAOs), primarily exemplied by actors [1], nowadays exist in many forms (various kinds of actors, agents and components) and are more and more used beca...
60
Voted
SEMWEB
2007
Springer
15 years 3 months ago
2007
Springer
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
122
click to vote
ACHI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...