Sciweavers

5330 search results - page 299 / 1066
» The Performability Tool P'ility
Sort
View
MDM
2005
Springer
147views Communications» more  MDM 2005»
16 years 29 days ago
Demo: mobile database administrator-MDBA
Increasingly advances in mobile computing are allowing development of the applications for ubiquitous computing environment. Ubiquitous computing represents the concepts of comput...
Fernando Siqueira, Angelo Brayner
231
Voted
NPC
2005
Springer
16 years 28 days ago
Globus Toolkit Version 4: Software for Service-Oriented Systems
The Globus Toolkit (GT) has been developed since the late 1990s to support the development of service-oriented distributed computing applications and infrastructures. Core GT compo...
Ian T. Foster
197
Voted
SPC
2005
Springer
16 years 28 days ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
TGC
2005
Springer
16 years 28 days ago
Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
James Skene, Wolfgang Emmerich
ACMACE
2004
ACM
16 years 27 days ago
Massively multi-player games: matching game design with technical design
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
Anne-Gwenn Bosser