2205 search results - page 197 / 441 » Mutation Operators for Specifications |
160
click to vote
ANSOFT
2002
15 years 2 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
155
Voted
BMCBI
2011
14 years 6 months ago
2011
Background: While there are many methods for predicting protein-protein interaction, very few can determine the specific site of interaction on each protein. Characterization of t...
127
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
128
click to vote
MOBISYS
2006
ACM
16 years 2 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
142
click to vote
EUMAS
2006
15 years 3 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...