417 search results - page 57 / 84 » Product Configurations - An Application for Prototype Object... |
SP
2008
IEEE
14 years 2 months ago
2008
IEEE
Unlike today’s reactive approaches, information flow based approaches can provide positive assurances about overall system integrity, and hence can defend against sophisticated...
AGENTS
2001
Springer
14 years 13 days ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
SIGGRAPH
2010
ACM
13 years 11 months ago
2010
ACM
We introduce here our latest ‘smart laser projector’ prototype, i.e, a modified laser-based projector capable of augmenting all kind of surfaces while simultaneously using th...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...