109 search results - page 13 / 22 » Model-checking Driven Design of Interactive Systems |
132
click to vote
JUCS
2008
14 years 9 months ago
2008
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
156
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Wikipedia is an example of the large, collaborative, semi-structured data sets emerging on the Web. Typically, before these data sets can be used, they must transformed into struc...
115
click to vote
FASE
2007
Springer
15 years 3 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
129
click to vote
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
101
Voted
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...