2106 search results - page 258 / 422 » Operational Semantics for MSC'96 |
158
click to vote
ENTCS
2010
15 years 6 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
165
click to vote
SIGMOD
2008
ACM
15 years 6 months ago
2008
ACM
The presence of encyclopedic Web sources, such as Wikipedia, the Internet Movie Database (IMDB), World Factbook, etc. calls for new querying techniques that are simple and yet mor...
155
click to vote
ENTCS
2002
15 years 6 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
154
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...
149
click to vote
IFM
2000
Springer
15 years 9 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 ...