16790 search results - page 3097 / 3358 » A Future for Software Engineering |
147
click to vote
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
175
click to vote
FOSSACS
2010
Springer
16 years 18 days ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
172
Voted
CIMCA
2008
IEEE
16 years 18 days ago
2008
IEEE
The process of evaluating, classifying, and assigning bugs to programmers is a difficult and time consuming task which greatly depends on the quality of the bug report itself. It ...
182
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
—This paper presents an evaluation of the Quality of Service Signalling Layer Protocol (QoS-NSLP) of the NSIS (Next Steps In Signalling) protocol suite. The QoS-NSLP in combinati...
162
click to vote
HICSS
2008
IEEE
16 years 17 days ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...