4460 search results - page 748 / 892 » Formal methods for interactive systems |
117
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
123
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...
124
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— Human control of high degree-of-freedom robotic systems, e.g. anthropomorphic robot hands, is often difficult due to the overwhelming number of variables that need to be speci...
119
click to vote
NOMS
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper we propose an integrated platform to power the symbiosis between networks and services whilst supporting mobility of users. This platform is based on methods for a...
146
click to vote
SEAA
2008
IEEE
15 years 10 months ago
2008
IEEE
Non-functional requirements (NFRs) pose unique challenges in estimating the effort it would take to implement them. This is mainly because of their unique nature; NFRs are subject...