Sciweavers

11089 search results - page 1769 / 2218
» Developing software families
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
16 years 15 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
UML
2005
Springer
16 years 15 days ago
Exceptional Use Cases
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Chr...
ACMSE
2004
ACM
16 years 14 days ago
E-R modeler: a database modeling toolkit for Eclipse
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
FOIKS
2004
Springer
16 years 13 days ago
Abstract State Machines: An Overview of the Project
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
Yuri Gurevich
LCPC
2004
Springer
16 years 12 days ago
Supporting SQL-3 Aggregations on Grid-Based Data Repositories
There is an increasing trends towards distributed and shared repositories for storing scientific datasets. Developing applications that retrieve and process data from such reposit...
Li Weng, Gagan Agrawal, Ümit V. Çataly...
« Prev « First page 1769 / 2218 Last » Next »