3335 search results - page 513 / 667 » A Unified Approach to Modeling and Programming |
161
click to vote
IJFCS
2006
15 years 6 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
143
click to vote
DSL
2009
15 years 4 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
236
click to vote
JMLR
2012
13 years 8 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
181
click to vote
ASPDAC
2009
ACM
16 years 26 days ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
155
click to vote
ISSTA
2006
ACM
16 years 9 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...