1876 search results - page 262 / 376 » Language Networks on LiveJournal |
146
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
136
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
149
Voted
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a varia...
132
Voted
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Web 2.0 has enabled end users to collaborate through their own developed artifacts, moving on from text (e.g., Wikipedia, Blogs) to images (e.g., Flickr) and movies (e.g., YouTube...
123
click to vote
POLICY
2007
Springer
15 years 10 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...