10038 search results - page 318 / 2008 » Model Checking for Managers |
201
click to vote
BNCOD
2009
15 years 7 months ago
2009
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...
176
click to vote
IM
2007
15 years 8 months ago
2007
Abstract— The Optical Burst Switching (OBS) paradigm proposes a new set of transmission protocols and network architectures that permits the high-utilization of the raw bandwidth...
179
click to vote
ICDE
2006
IEEE
16 years 22 days ago
2006
IEEE
eChronicle applications are inherently event-centric, enabling users to find and explore important events in an application domain and providing unified access to any media that...
165
click to vote
JUCS
2010
15 years 5 months ago
2010
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...
199
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...