5451 search results - page 222 / 1091 » Typed Operational Semantics |
109
click to vote
ICN
2009
Springer
15 years 10 months ago
2009
Springer
The established host-centric networking paradigm is challenged due to handicaps related with disconnected operation, mobility, and broken locator/identifier semantics. This paper...
149
Voted
MOBIDE
2006
ACM
15 years 10 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
117
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
171
click to vote
SSDBM
2000
IEEE
15 years 8 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
121
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...