Sciweavers

893 search results - page 151 / 179
» Modeling reactive systems in Java
Sort
View
121
Voted
IADIS
2003
15 years 4 months ago
Paradigm Shifts and Business Processes: A Case Study
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
Paul Maclear, Paul Darbyshire
98
Voted
MSWIM
2005
ACM
15 years 8 months ago
YAES: a modular simulator for mobile networks
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
Ladislau Bölöni, Damla Turgut
120
Voted
GEOINFO
2004
15 years 4 months ago
Towards a Web Service for Geographic and Multidimensional Processing
: A lot of research has been developed for integrating the analysis functionality that is available in both analytic and geographic processing systems. The main goal is to provide ...
Joel da Silva, Valéria Cesário Times...
135
Voted
ENTCS
2008
140views more  ENTCS 2008»
15 years 2 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
133
Voted
BXML
2004
15 years 4 months ago
Telephony Interface of the ExtraPlanT Multi-agent Production Planning System
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
Petr Becvár, Michal Pechoucek, Lubos Sm&iac...