1501 search results - page 238 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
158
click to vote
ISF
2008
15 years 4 months ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
127
click to vote
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Most of the Web-based methods for lexicon augmenting consist in capturing global semantic features of the targeted domain in order to collect relevant documents from the Web. We s...
122
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
136
click to vote
JDCTA
2008
15 years 4 months ago
2008
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
142
Voted
CPC
2000
15 years 3 months ago
2000
This paper describes methods for counting the number of non-negative integer solutions of the system Ax = b when A is a non-negative totally unimodular matrix and b an integral ve...