1147 search results - page 168 / 230 » Termination in language-based systems |
156
click to vote
FSEN
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
162
click to vote
GECCO
2007
Springer
16 years 15 days ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
155
click to vote
IPPS
2006
IEEE
16 years 11 days ago
2006
IEEE
While it is possible to accurately predict the execution time of a given iteration of an adaptive application, it is not generally possible to predict the data-dependent adaptive ...
174
click to vote
MDM
2005
Springer
15 years 11 months ago
2005
Springer
Mobile terminals (cellular phones, PDAs, palmtops etc.) emerge as a new class of small-scale, ad-hoc service providers that share data and functionality via mobile web services’...
184
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...