10159 search results - page 1715 / 2032 » System Design Validation Using Formal Models |
189
click to vote
ICOST
2010
Springer
15 years 8 months ago
2010
Springer
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...
168
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...
186
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
164
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
In this work we define and study a new model for the caching problem in a heterogeneous wireless network under a flash-crowd scenario. Using non-cooperative game theory, we cast t...
176
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...