1855 search results - page 319 / 371 » A Domain Specific Language for the Development of Collaborat... |
IEEESCC
2007
IEEE
14 years 3 months ago
2007
IEEE
eb services are becoming widely deployed to implement the automation of business processes such as supply chain management, inventory tracking, and healthcare management, just to ...
VL
1992
IEEE
14 years 1 months ago
1992
IEEE
Automatic graphic objectlayout methods havelong been studied in many application areas in which graphic objects should be laid out to satisfy the constraints specific to each appl...
DLS
2009
13 years 6 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
TAOSD
2010
13 years 3 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...