4726 search results - page 525 / 946 » Domain Modeling of Software Process Models |
229
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Ubiquitous web applications (UWA) are required to be customizable, meaning their services need to be adaptable towards the context of use, e.g., user, location, time, and device. ...
204
click to vote
FMCO
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
190
click to vote
ENTCS
2010
15 years 4 months ago
2010
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
220
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
282
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...