1524 search results - page 142 / 305 » Operational Semantics of Hybrid Systems |
152
click to vote
INFORMATICALT
2007
15 years 5 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
149
click to vote
ISDA
2008
IEEE
15 years 11 months ago
2008
IEEE
Both simulated annealing (SA) and the genetic algorithms (GA) are stochastic and derivative-free optimization technique. SA operates on one solution at a time, while the GA mainta...
144
click to vote
IJEIS
2010
15 years 2 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
232
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
A windowed query operator breaks a data stream into possibly overlapping subsets of data and computes results over each. Many stream systems can evaluate window aggregate queries....
149
click to vote
JUCS
2007
15 years 5 months ago
2007
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...