Sciweavers

13181 search results - page 2245 / 2637
» Design and Implementation of Cohesion
Sort
View
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 9 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
ACC
2011
164views more  ACC 2011»
14 years 6 months ago
IMS and Presence Service Integration on Intelligent Transportation Systems for Future Services
Once some stable solutions appear to be found at physical and network layers for cooperative Intelligent Transportation Systems (ITS), deploying vehicular services and managing the...
Andrés Garcia, José Santa, Antonio M...
ASUNAM
2011
IEEE
14 years 6 months ago
DisNet: A Framework for Distributed Graph Computation
—With the rise of network science as an exciting interdisciplinary research topic, efficient graph algorithms are in high demand. Problematically, many such algorithms measuring...
Ryan Lichtenwalter, Nitesh V. Chawla
ATAL
2011
Springer
14 years 6 months ago
Specifying and applying commitment-based business patterns
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
Amit K. Chopra, Munindar P. Singh
BPM
2011
Springer
270views Business» more  BPM 2011»
14 years 6 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...
« Prev « First page 2245 / 2637 Last » Next »