4890 search results - page 441 / 978 » From system specifications to component behavioral models |
180
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...
186
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
193
Voted
ECIS
2001
15 years 8 months ago
2001
Giddens' structuration theory (ST) offers an account of social life in terms of social practices developing and changing over time and space, which makes no attempt to direct...
194
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
214
click to vote
USAB
2007
15 years 8 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...