10038 search results - page 1674 / 2008 » Model Checking for Managers |
182
click to vote
ICPPW
2003
IEEE
15 years 12 months ago
2003
IEEE
Users have been demanding information “anytime, anywhere”. The notion of accessing diverse and autonomous information repositories with different APIs is not accepted. This ha...
178
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
181
Voted
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
197
click to vote
RTCSA
2003
IEEE
15 years 12 months ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...
187
click to vote
GROUP
2003
ACM
15 years 12 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...