2850 search results - page 341 / 570 » On Timed Models and Full Abstraction |
273
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
174
Voted
KDD
2008
ACM
16 years 7 months ago
2008
ACM
We present a detailed study of network evolution by analyzing four large online social networks with full temporal information about node and edge arrivals. For the first time at ...
160
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
There are many innovative proposals introduced in the literature under the evolutionary computation field, from which estimation of distribution algorithms (EDAs) is one of them....
179
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Traditionally, instruction-set simulators (ISS’s) are sequential programs running on individual processors. Besides the advances of simulation techniques, ISS’s have been main...
165
click to vote
HASKELL
2006
ACM
16 years 20 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...