5203 search results - page 880 / 1041 » An approach to workflow modeling and analysis |
273
click to vote
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
170
click to vote
COMSUR
2011
14 years 6 months ago
2011
—Optical layer monitoring and fault localization serves as a critical functional module in the control and management of optical networks. An efficient monitoring scheme aims at ...
162
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Millions of users retrieve information from the Internet using search engines. Mining these user sessions can provide valuable information about the quality of user experience and...
188
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
178
click to vote
CIKM
2005
Springer
16 years 1 days ago
2005
Springer
This paper presents a new approach to determine the senses of words in queries by using WordNet. In our approach, noun phrases in a query are determined first. For each word in th...