Sciweavers

2205 search results - page 294 / 441
» Mutation Operators for Specifications
Sort
View
SEAA
2008
IEEE
15 years 10 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
130
Voted
AH
2008
Springer
15 years 10 months ago
Engineering Information Systems towards Facilitating Scrutable and Configurable Adaptation
End users of Adaptive Hypermedia Systems (AHS) receive an experience that has been tailored towards their specific needs. Several AHS have produced favourable results showing benef...
Kevin Koidl, Owen Conlan
124
Voted
AINA
2007
IEEE
15 years 10 months ago
OWL-Based Context-Dependent Task Modeling and Deducing
In the near future, homes are envisioned to be equipped with numerous intelligent communicating devices. Such smart home needs to exhibit highly adaptive behavior to meet the inha...
Hongbo Ni, Xingshe Zhou, Zhiwen Yu, Kejian Miao
ESCIENCE
2007
IEEE
15 years 10 months ago
Connecting Scientific Data to Scientific Experiments with Provenance
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
Simon Miles, Ewa Deelman, Paul T. Groth, Karan Vah...
132
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
Multi-Linked AODV Routing Protocol for Wireless Mesh Networks
Abstract— Nodes in multi-hop wireless networks, and specifically in ad-hoc and mesh networks, are being increasingly equipped with multiple wireless network interfaces (radios) o...
Asad Amir Pirzada, Ryan Wishart, Marius Portmann