Sciweavers

875 search results - page 135 / 175
» Specification Modules for Methodical System Development
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 1 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
CPHYSICS
2008
88views more  CPHYSICS 2008»
14 years 9 months ago
Simulation approaches to soft matter: Generic statistical properties vs. chemical details
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
Matej Praprotnik, Christoph Junghans, Luigi Delle ...
HICSS
2006
IEEE
160views Biometrics» more  HICSS 2006»
15 years 3 months ago
Cyber Defense Competitions and Information Security Education: An Active Learning Solution for a Capstone Course
The content of information security curricula spans a wide array of topics. Because of this variety, a program needs to focus on some particular aspect and provide appropriate dep...
Art Conklin
AIME
2009
Springer
15 years 4 months ago
Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use
Abstract. The Regional Healthcare Agency (ASL) of Pavia has been maintaining a central data repository which stores healthcare data about the population of Pavia area. The analysis...
Stefano Concaro, Lucia Sacchi, Carlo Cerra, Pietro...
BERTINORO
2005
Springer
15 years 3 months ago
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
Peter J. Bentley