1728 search results - page 258 / 346 » Formal Modeling of Process Migration |
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
120
Voted
RTCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
95
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
Semantic Web Services enable the dynamic discovery of services based on a formal, explicit speciļ¬cation of the requester needs. The actual Web Services that will be used to satis...
104
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
108
Voted
ISSS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciļ¬...