4469 search results - page 647 / 894 » A Language for Role Specifications |
194
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...
187
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
The Gaia ubiquitous computing platform currently supports mobile devices through a thin client proxy architecture. Mobile devices run a lightweight proxy client written in J2ME to...
176
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
194
click to vote
ACSC
2009
IEEE
16 years 1 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
178
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...