7202 search results - page 1224 / 1441 » Software System Engineering: A Tutorial |
158
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
151
click to vote
FSTTCS
2007
Springer
16 years 21 days ago
2007
Springer
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
199
click to vote
EUROSYS
2010
ACM
16 years 20 days ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
174
click to vote
ISORC
2006
IEEE
16 years 17 days ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
152
click to vote
UIST
2006
ACM
16 years 15 days ago
2006
ACM
Scrolling is used to navigate large information spaces on small screens, but is often too restrictive or cumbersome to use for particular types of content, such as multi-page, mul...