26071 search results - page 307 / 5215 » Making |
154
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
In current information systems, information is passive. People act upon it, either sending it to known destinations or pulling it from known sources. InformANTS makes information ...
209
Voted
SIES
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
191
click to vote
AOSE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
157
click to vote
AUSAI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Although Computed Tomography (CT) is a mature discipline, the development of techniques that will further reduce radiation dose are still essential. This paper makes step...
175
click to vote
COREGRID
2007
Springer
16 years 27 days ago
2007
Springer
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...