22114 search results - page 135 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
DGO
2003
13 years 9 months ago
2003
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
DT
2007
13 years 8 months ago
2007
This paper proposes a new heuristic approach to determine the input pattern that minimizes leakage currents of nanometer CMOS circuits during sleep mode considering stack and fano...
CAV
2010
Springer
14 years 20 hour ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...