4286 search results - page 561 / 858 » Formalizing Service Interactions |
133
Voted
ICFCA
2005
Springer
15 years 10 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
157
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
131
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
170
Voted
STEP
2003
IEEE
15 years 10 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
130
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...