9110 search results - page 334 / 1822 » Formally-Based Design Evaluation |
152
click to vote
ACMDIS
2006
ACM
16 years 18 days ago
2006
ACM
Our physical bodies play a central role in shaping human experience in the world, understanding of the world, and interactions in the world. This paper draws on theories of embodi...
208
click to vote
MUM
2006
ACM
16 years 17 days ago
2006
ACM
This paper presents a novel cross-layer design for providing service oriented architecture (SOA) in a mobile ad hoc network (MANET). In the design SOA service discovery is integra...
175
Voted
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Evolutionary computation presents a new paradigm shift in hardware design and synthesis. According to this paradigm, hardware design is pursued by deriving inspiration from biologi...
185
click to vote
INTERACT
2003
15 years 8 months ago
2003
Abstract: Watching sports is a favorite pastime of many consumers. A more nomadic life style makes the traditional spectating venues unavailable. Designing a sports spectator exper...
176
click to vote
DB
1998
15 years 6 months ago
1998
Design of a distributed transaction processing system is a complex process. The paper describes the design and implementation of a general purpose scalable simulation environment ...