5457 search results - page 371 / 1092 » Software Component Independence |
179
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a content-dependent and configurable framework for the network processing of documents. Like existing compound document frameworks, it enables an enriched docu...
180
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...
133
click to vote
SCSC
2007
15 years 7 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
127
Voted
JSYML
2000
15 years 6 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
263
Voted
APAL
2011
15 years 1 months ago
2011
The terms of the upper and lower central series of a nilpotent computable group have computably enumerable Turing degree. We show that the Turing degrees of these terms are indepe...