Sciweavers

2200 search results - page 56 / 440
» Programming norm change
Sort
View
ATAL
2004
Springer
14 years 2 months ago
Issues in Multiagent System Development
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-...
DALT
2009
Springer
14 years 18 days ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
AUTOMATICA
2008
60views more  AUTOMATICA 2008»
13 years 9 months ago
Control of nonstationary LPV systems
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
Mazen Farhood, Geir E. Dullerud
EAAI
2007
101views more  EAAI 2007»
13 years 9 months ago
Fault detection for nonlinear systems with uncertain parameters based on the interval fuzzy model
In the paper an application of the interval fuzzy model (INFUMO) in fault detection for nonlinear systems with uncertain intervaltype parameters is presented. A confidence band f...
Simon Oblak, Igor Skrjanc, Saso Blazic
ICFP
2010
ACM
13 years 10 months ago
Security-typed programming within dependently typed programming
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
Jamie Morgenstern, Daniel R. Licata