10159 search results - page 1921 / 2032 » System Design Validation Using Formal Models |
181
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Large-scale distributed computing systems such as grids are serving a growing number of scientists. These environments bring about not only the advantages of an economy of scale, ...
174
click to vote
SACMAT
2006
ACM
16 years 9 days ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
275
click to vote
SENSYS
2006
ACM
16 years 8 days ago
2006
ACM
From experience with wireless sensor networks it has become apparent that dynamic reprogramming of the sensor nodes is a useful feature. The resource constraints in terms of energ...
186
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
166
click to vote
CEEMAS
2005
Springer
15 years 12 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...