10038 search results - page 433 / 2008 » Model Checking for Managers |
200
click to vote
IJISMD
2010
15 years 4 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
204
click to vote
NBIS
2007
Springer
16 years 1 months ago
2007
Springer
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...
180
click to vote
SIGUCCS
2003
ACM
16 years 6 days ago
2003
ACM
Higher education institutions have been striving to improve services and keep pace with new technologies. In a Higher education environment, the users utilize the available comput...
205
click to vote
HPDC
2002
IEEE
15 years 12 months ago
2002
IEEE
One approach to high-performance processing of massive data sets is to incorporate computation into storage systems. Previous work has shown that this active storage model is effe...
180
click to vote
JUCS
2008
15 years 7 months ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...