3256 search results - page 428 / 652 » Applications of Formal Methods to System Design and Verifica... |
165
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
138
click to vote
HYBRID
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
165
click to vote
DAIS
2010
15 years 7 months ago
2010
Context-aware applications and middleware platforms are evolving into major driving factors for pervasive systems. The ability to also make accurate assumptions about future contex...
148
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
180
Voted
BMCBI
2005
15 years 5 months ago
2005
Background: The identification of mentions of gene or gene products in biomedical texts is a critical step in the development of text mining applications in biosciences. The compl...