1525 search results - page 268 / 305 » Formal Models for Communication-Based Design |
99
Voted
IJFCS
2006
15 years 17 days ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
87
Voted
SIGMETRICS
2002
ACM
15 years 6 days ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
103
Voted
CCS
2010
ACM
14 years 11 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
116
Voted
WOTE
2010
14 years 10 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
106
Voted
MMAS
2010
Springer
14 years 7 months ago
2010
Springer
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...