950 search results - page 160 / 190 » Tool Support for Model Checking of Web Application Designs |
ACMICEC
2004
ACM
14 years 1 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
As most blogs and traditional media support RSS or Atom feeds, the news feed technology becomes increasingly prevalent. Taking advantage of ubiquitous news feeds, we design FeedEx...
OTM
2009
Springer
14 years 2 months ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we propose a Core Grid Ontology (CGO) that defines fundamental Grid-specific concepts, and the relationships between them. One of the key goals is to make this Co...