4328 search results - page 241 / 866 » A New Kind of Science |
149
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
182
click to vote
IDEAL
2003
Springer
15 years 12 months ago
2003
Springer
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
162
click to vote
ESSOS
2010
Springer
15 years 12 months ago
2010
Springer
Web browsers that support a safe language such as Javascript are becoming a platform of great interest for security attacks. One such attack is a heap-spraying attack: a new kind o...
163
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
We investigate techniques for similarity analysis of spatio-temporal trajectories for mobile objects. Such kind of data may contain a great amount of outliers, which degrades the ...
195
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, a novel design of external force for snake is proposed. This kind of external force is actually a field, which we call the Simulated Static Electric Field (SSEF). T...