1802 search results - page 243 / 361 » Using Declarative Specifications in Business Process Design |
119
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
A lot of research and work has been done in the past, to develop XML based user-interface definition languages. Also languages to describe graphics and animations were created. In...
114
click to vote
ECLIPSE
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
131
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
: This paper describes ASF, a novel cell-level analog synthesis framework that can size and bias a given circuit topology subject to a set of performance objectives and a manufactu...
129
click to vote
WSDM
2010
ACM
16 years 6 days ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
137
click to vote
RSP
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...