3310 search results - page 327 / 662 » Aspect-aware operating system development |
117
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
We develop a tableau-based decision procedure for the full coalitional multiagent temporal-epistemic logic of linear time CMATEL(CD+LT). It extends LTL with operators of common an...
164
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
118
click to vote
DFG
2007
Springer
15 years 11 months ago
2007
Springer
: Nowadays, biologists investigate different causes for deafness. One reason is a damage in a particular region of the auditory brain stem. These differences were discovered by inv...
142
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
127
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- Ant algorithms have generated significant research interest within the search/optimisation community in recent years. Hyperheuristic research is concerned with the devel...