Sciweavers

7118 search results - page 729 / 1424
» Electrical and Computer Engineering
Sort
View
ISORC
2005
IEEE
16 years 1 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
171
Voted
WISE
2005
Springer
16 years 1 months ago
Improving Web Data Annotations with Spreading Activation
The Web has established itself as the largest public data repository ever available. Even though the vast majority of information on the Web is formatted to be easily readable by t...
Fatih Gelgi, Srinivas Vadrevu, Hasan Davulcu
BIRTHDAY
2005
Springer
16 years 29 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
177
Voted
DIGRA
2005
Springer
16 years 29 days ago
Extending Soft Models to Game Design: Flow, Challenges and Conflicts
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
Abdennour El Rhalibi, Martin Hanneghan, Stephen Ta...
190
Voted
FOSSACS
2005
Springer
16 years 29 days ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld