4353 search results - page 708 / 871 » Expressiveness of Process Algebras |
OTM
2007
Springer
15 years 4 months ago
2007
Springer
The WS-Policy framework has been introduced to allow policy to be expressed and associated with Web Services thereby enabling organizations to manage the quality of their services...
RR
2007
Springer
15 years 4 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...
70
Voted
SPIN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
91
Voted
TELETRAFFIC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
109
click to vote
XSYM
2007
Springer
15 years 4 months ago
2007
Springer
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...