3086 search results - page 428 / 618 » Developing Secure Web Applications |
127
click to vote
TGC
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
135
click to vote
ISAMI
2010
14 years 9 months ago
2010
Context management has been a key technique in Ambient Intelligence applications development, although its use has not attain such success in other environments, such as those evol...
124
click to vote
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
125
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
: This paper describes the architecture and services developed by the GRANI project for the Australian Nanostructural Analysis Network Organization (NANO). The aim of GRANI was to ...
123
click to vote
ICEBE
2005
IEEE
15 years 8 months ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...