10159 search results - page 1716 / 2032 » System Design Validation Using Formal Models |
172
click to vote
CSCW
2006
ACM
16 years 21 days ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
166
click to vote
IPTPS
2003
Springer
15 years 12 months ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
175
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
In software engineering community there is an increasing effort of design and development of multiagent systems (MAS). Among several issues emerging from this initiative, complexi...
143
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
When proposing new architectural enhancements, it is also important to account for the hardware complexity. To achieve this goal, we propose to model the new design in a hardware ...
198
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
With the ever expanding Web and the information published on it, effective tools for managing such data and presenting information to users based on their needs are becoming nece...