6961 search results - page 1103 / 1393 » Domain-Oriented design Environments |
161
click to vote
CNSR
2006
IEEE
16 years 26 days ago
2006
IEEE
Next-generation mobile terminals are expected to provide users with seamless, uninterrupted network connectivity while moving across wide geographic locations. Achieving continuou...
208
click to vote
COMSWARE
2006
IEEE
16 years 25 days ago
2006
IEEE
— The ability to access remote file storage from mobile devices enables a number of new use cases for storing and sharing data. We describe the design and implementation of a Rem...
201
Voted
CSFW
2006
IEEE
16 years 25 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
158
Voted
EDOC
2006
IEEE
16 years 25 days ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
212
click to vote
ESCIENCE
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper discusses the process of building an environment where large-scale, complex, scientific analysis can be scheduled onto a heterogeneous collection of computational and s...