77 search results - page 6 / 16 » Location-Based E-Campus Web Services: From Design to Deploym... |
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Prolog is an excellent tool for representing and manipulating data written in formal languages as well as natural language. Its safe semantics and automatic memory management make...
W4A
2006
ACM
15 years 3 months ago
2006
ACM
Web Content Accessibility guidelines by W3C [29] provide several suggestions for Web designers on how to author Web pages in order to make them accessible to everyone. In this con...
ICSEA
2007
IEEE
15 years 3 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
84
Voted
KBSE
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...