16541 search results - page 3039 / 3309 » Ontologies and Software Engineering |
189
click to vote
FOSSACS
2010
Springer
16 years 1 months 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...
198
click to vote
GLOBECOM
2008
IEEE
16 years 1 months 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...
186
click to vote
HICSS
2008
IEEE
16 years 1 months 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...
195
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
162
click to vote
IOLTS
2008
IEEE
16 years 1 months ago
2008
IEEE
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...