12981 search results - page 2077 / 2597 » Model Checking (Abstract) |
223
Voted
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
Current research identifying architectures for a virtual enterprise has moved from information modelling to role modelling. Thus, a high level of autonomy results from the distribu...
172
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
201
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
224
Voted
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Spam is serious problem that affects email users (e.g. phishing attacks, viruses and time spent reading unwanted messages). We propose a novel spam email filtering appr...
167
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...