4052 search results - page 667 / 811 » integration 2007 |
178
Voted
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
195
click to vote
AUTONOMICS
2007
ACM
15 years 11 months ago
2007
ACM
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
193
Voted
CICLING
2007
Springer
15 years 11 months ago
2007
Springer
In biomedical articles, terms often refer to different protein entities. For example, an arbitrary occurrence of term p53 might denote thousands of proteins across a number of spec...
169
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Estimating the depth of anesthesia (DOA) is still a challenging area in anesthesia research. The objective of this study was to design a fuzzy rule based system which integrates el...
197
Voted
AICCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
Location Based Services (LBSs) provide personalized services to the subscribers based on their current position using Global Navigation Satellite System (GNSS), Geographic Informa...