229 search results - page 23 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
169
click to vote
EDOC
2005
IEEE
15 years 11 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
196
click to vote
ICDE
2002
IEEE
15 years 10 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...
150
click to vote
FORMATS
2006
Springer
15 years 9 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
153
click to vote
ECOWS
2006
Springer
15 years 9 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
179
Voted
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...