950 search results - page 85 / 190 » Developing Law-Governed Systems Using Aspects |
129
click to vote
EFDBS
2000
15 years 4 months ago
2000
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
118
Voted
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
System administrators of today’s high performance computing systems are generally responsible for managing the large amounts of data traffic and archival querying that mass stor...
187
click to vote
LORI
2009
Springer
15 years 9 months ago
2009
Springer
Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical...
147
click to vote
XPU
2007
Springer
15 years 9 months ago
2007
Springer
This research explored aspects of agile teamwork initiatives associated with positive socio-psychological phenomena, with a focus on phenomena outside the scope of traditional mana...
140
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...