4636 search results - page 370 / 928 » Modelling and Validation with VipTool |
171
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
174
click to vote
INFOCOM
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
189
click to vote
RTAS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
193
click to vote
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Most of the new embedded systems require high performance processors at low power. To cater to these needs, most semiconductor companies are designing multi-core processo...
216
Voted
AFRIGRAPH
2004
ACM
16 years 8 days ago
2004
ACM
In the real world, the human eye is confronted with a wide range of luminances from bright sunshine to low night light. Our eyes cope with this vast range of intensities by adapta...