9210 search results - page 1584 / 1842 » Analyzing Real-Time Systems |
96
Voted
CAINE
2007
15 years 2 months ago
2007
We present multi-scale tracking features for the In Silico Liver (ISL) and their simulation results. The features were developed to support tracking of dynamic pharmacokinetic/pha...
109
click to vote
DBSEC
2010
15 years 2 months ago
2010
The use of location based services has increased significantly over the last few years. However, location information is only sparsely used as a security mechanism. One of the reas...
93
Voted
CLIMA
2007
15 years 2 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
CATS
2008
15 years 2 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
96
Voted
ISEMANTICS
2010
15 years 2 months ago
2010
Twarql is an infrastructure translating microblog posts from Twitter as Linked Open Data in real-time. The approach employed in Twarql can be summarized as follows: (1) extract co...