3514 search results - page 423 / 703 » Evolving Specification Engineering |
212
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
176
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
While modern workloads are increasingly interactive and resource-intensive (e.g., graphical user interfaces, browsers, and multimedia players), current operating systems have not ...
155
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The research here presented focuses upon the informal, social, and cultural side of managerial coordination and control as manifested in clinical e-health systems. Specifically, t...
163
Voted
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
185
click to vote
GD
2006
Springer
15 years 10 months ago
2006
Springer
Graph drawing software are now commonly used. However, the choice of a well-adapted program may be hard for an inexperienced user. This poster presents a website (http://www.polyte...