7557 search results - page 120 / 1512 » Modeling Timed Concurrent Systems |
107
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
Not only the communication capabilities of 802.11, but also the capability to determine the position of mobile devices make 802.11 highly appealing for many application areas. Typ...
129
click to vote
JSW
2008
15 years 1 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
123
click to vote
TKDE
2002
15 years 1 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
135
click to vote
WSC
2004
15 years 2 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
103
click to vote
TCAD
2008
15 years 1 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...