5506 search results - page 978 / 1102 » Visualizing Software Changes |
161
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
123
Voted
EUROSYS
2010
ACM
15 years 7 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
110
Voted
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents an automatic method to customize embedded application-specific instruction processors (ASIPs) based on compiler analysis. ASIPs, also known as embedded soft c...
109
Voted
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
130
Voted
EUROMICRO
2002
IEEE
15 years 7 months ago
2002
IEEE
To accommodate heterogeneous transmission conditions in a streaming scenario several multi-rate multicast solutions have been proposed, based on simulcasting or hierarchical layer...