4353 search results - page 696 / 871 » Expressiveness of Process Algebras |
162
click to vote
EDBT
2009
ACM
16 years 7 days ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
161
click to vote
CLUSTER
2009
IEEE
16 years 6 days ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
130
click to vote
GLVLSI
2009
IEEE
16 years 6 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
163
click to vote
ICAS
2009
IEEE
16 years 6 days ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
144
click to vote
IEEESCC
2009
IEEE
16 years 3 days ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with services...