9821 search results - page 1708 / 1965 » A Framework for the Development of Protocols |
170
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
196
click to vote
CIBB
2008
15 years 8 months ago
2008
During the last decade, several clustering and association rule mining techniques have been applied to highlight groups of coregulated genes in gene expression data. Nowadays, inte...
175
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...
145
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents DiV ES, a distributed support for the development of networked Distributed Virtual Environments. DiV ES exploits the publish subscribe interaction model to def...
180
Voted
CANDC
2005
ACM
15 years 8 months ago
2005
ACM
The power of the unaided, individual mind is highly overrated: The Renaissance scholar no longer exists. Although creative individuals are often thought of as working in isolation...