Sciweavers

3483 search results - page 73 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
CADE
2010
Springer
15 years 7 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
BPM
2007
Springer
143views Business» more  BPM 2007»
16 years 10 days ago
Workflow Management Systems + Swarm Intelligence = Dynamic Task Assignment for Emergency Management Applications
The assignment of tasks to human performers is a critical component in people-centric business process management systems. Workflow management systems typically assign work items u...
Hajo A. Reijers, Monique H. Jansen-Vullers, Michae...
ISPDC
2003
IEEE
15 years 11 months ago
A Java Middleware Platform for Resource-Aware Distributed Applications
This paper reports the development of D-RAJE (Distributed Resource-Aware Java Environment), a Java-based middleware platform that makes it possible to model and to monitor resourc...
Frédéric Guidec, Yves Mahéo, ...
ICWE
2005
Springer
15 years 11 months ago
Modelling the Behaviour of Web Applications with ArgoUWE
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
Alexander Knapp, Nora Koch, Gefei Zhang
INDIASE
2009
ACM
16 years 21 days ago
Instant multi-tier web applications without tears
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
Gautam Shroff, Puneet Agarwal, Premkumar T. Devanb...