4290 search results - page 682 / 858 » Formal Approaches to Teamwork |
151
click to vote
SAINT
2008
IEEE
16 years 27 days ago
2008
IEEE
The utility of walking parameters such as stride length, cadence and gait velocity for monitoring motor functions of patients suffering from brain injury, Parkinson’s disease an...
166
click to vote
WISE
2008
Springer
16 years 27 days ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....
194
click to vote
WISE
2008
Springer
16 years 27 days ago
2008
Springer
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
151
click to vote
APSEC
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
149
click to vote
CBMS
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper focuses on the problem of representing, in a meaningful way, the knowledge involved in the HealthAgents project. Our work is motivated by the complexity of representing...