391 search results - page 4 / 79 » Formal Universes |
ZUM
1994
Springer
14 years 18 days ago
1994
Springer
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
TKDE
2012
11 years 11 months ago
2012
— Most proposed DHTs engage certain topology maintenance mechanisms specific to the static graphs on which they are based. The designs of these mechanisms are complicated and rep...
IJAR
1998
13 years 8 months ago
1998
Decision-making procedure based on fuzzy relational composition may require that the involved connectives are not idempotent to handle signi cant information properly. Yet, non-id...
FMCO
2007
Springer
14 years 2 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
TLDI
2009
ACM
14 years 5 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...