2748 search results - page 383 / 550 » Generating Object-Z Specifications from Use Cases |
124
click to vote
SPLC
2008
15 years 5 months ago
2008
Model-driven development (MDD) shifts the development focus from code to models, allowing automatic or assisted transformations that are able to generate more refined, detailed or...
133
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Web Services provide our systems with a platform independent and loosely coupled implementation environment, being time to face how the named systems can be modelled. Service Compo...
130
click to vote
WSC
2004
15 years 5 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
144
click to vote
PDPTA
2003
15 years 5 months ago
2003
Routing algorithms are traditionally evaluated under Poisson-like traffic distributions. This type of traffic is smooth over large time intervals and has been shown not necessaril...
188
click to vote
DAIS
2009
15 years 5 months ago
2009
As peer-to-peer systems are evolving from simplistic application specific overlays to middleware platforms hosting a range of potential applications it has become evident that incr...