12183 search results - page 2128 / 2437 » Computers under Attacks! |
240
click to vote
BIRTHDAY
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
216
click to vote
ICSOC
2004
Springer
16 years 24 days ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
214
click to vote
JSSPP
2004
Springer
16 years 24 days ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
200
click to vote
MFCS
2004
Springer
16 years 24 days ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
204
click to vote
RT
2004
Springer
16 years 23 days ago
2004
Springer
Despite recent advances in finding efficient LOD-representations for gigantic 3D objects, rendering of complex, gigabyte-sized models and environments is still a challenging tas...