1188 search results - page 132 / 238 » Testing Semantics: Connecting Processes and Process Logics |
139
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
135
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
151
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
114
click to vote
TASLP
2008
15 years 4 months ago
2008
A hybrid signal-and-link-parametric approach to speech quality measurement for voice-over-Internet protocol (VoIP) communications is described. Connection parameters are used to de...
146
click to vote
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...