Sciweavers

1916 search results - page 306 / 384
» Reconfiguring a state machine
Sort
View
CAISE
2007
Springer
14 years 3 months ago
Conceptual Modeling of Privacy-Aware Web Service Protocols
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
Rachid Hamadi, Hye-Young Paik, Boualem Benatallah
ILP
2007
Springer
14 years 3 months ago
Structural Statistical Software Testing with Active Learning in a Graph
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
Nicolas Baskiotis, Michèle Sebag
ISAAC
2007
Springer
135views Algorithms» more  ISAAC 2007»
14 years 3 months ago
Fast Evaluation of Union-Intersection Expressions
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
Philip Bille, Anna Pagh, Rasmus Pagh
MCAM
2007
Springer
123views Multimedia» more  MCAM 2007»
14 years 3 months ago
Story Unit Segmentation with Friendly Acoustic Perception
Automatic story unit segmentation is an essential technique for content based video retrieval and summarization. A good video story unit has complete content and natural boundary i...
Longchuan Yan, Jun Du, Qingming Huang, Shuqiang Ji...
PRIMA
2007
Springer
14 years 3 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida