1525 search results - page 268 / 305 » Formal Models for Communication-Based Design |
122
Voted
IJFCS
2006
15 years 3 months 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'...
111
Voted
SIGMETRICS
2002
ACM
15 years 3 months 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...
133
click to vote
CCS
2010
ACM
15 years 2 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...
136
Voted
WOTE
2010
15 years 1 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...
129
click to vote
MMAS
2010
Springer
14 years 10 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., ...