3799 search results - page 411 / 760 » An Engineering Approach to Formal Methods |
168
Voted
ICSOC
2007
Springer
16 years 28 days ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
186
click to vote
WECWIS
2005
IEEE
16 years 10 days ago
2005
IEEE
Business rules define or constrain some business [24]. Many different business rules engines exist to capture and manage the rules that comprise ones business. The lack of standa...
203
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
161
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
210
click to vote
AIIDE
2008
15 years 9 months ago
2008
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...