186 search results - page 31 / 38 » Mechanizing metatheory in a logical framework |
175
click to vote
SIGMOD
2005
ACM
15 years 11 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a significant reliability concern in present day digital circuit design. With continued scaling, th...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
ITRUST
2005
Springer
15 years 5 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...