3256 search results - page 477 / 652 » Applications of Formal Methods to System Design and Verifica... |
86
Voted
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
72
Voted
FUIN
2008
14 years 10 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
86
Voted
CHI
2004
ACM
15 years 10 months ago
2004
ACM
We present a chat system that uses animated text associated with emotional information to show the affective state of the user. The system obtains the affective state of a chat us...
103
Voted
AEI
2004
14 years 10 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
64
Voted
ICCD
1994
IEEE
15 years 2 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...