9267 search results - page 1729 / 1854 » Expectation-Oriented Analysis and Design |
211
Voted
TFM
2009
Springer
16 years 20 days ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
351
click to vote
Publication
Future broadband satellite networks will support a variety of service types. Many such systems are being designed with ATM or ATM like technology. A majority of Internet applicatio...
181
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Virtual prototyping is increasingly replacing real mock-ups and experiments in industrial product development. Part of this process is the simulation of structural and functional ...
263
click to vote
GIS
2009
ACM
16 years 7 months ago
2009
ACM
Map-matching is the process of aligning a sequence of observed user positions with the road network on a digital map. It is a fundamental pre-processing step for many applications...
167
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...