4460 search results - page 415 / 892 » Formal methods for interactive systems |
208
click to vote
PROMAS
2004
Springer
16 years 29 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
230
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
212
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
167
click to vote
ECBS
2005
IEEE
16 years 1 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
180
click to vote
DAGM
2006
Springer
15 years 11 months ago
2006
Springer
The contribution presents an approach for motion capturing (MoCap) of dressed people. A cloth draping method is embedded in a silhouette based MoCap system and an error functional ...