Search Sciweavers | Sciweavers

14331 search results - page 248 / 2867

» On the modeling and analysis of obligations

153

click to vote

AOSE
2006
Springer

92views Intelligent Agents» more AOSE 2006»

Modeling Mental States in the Analysis of Multiagent Systems Requirements

15 years 10 months ago

Download www.cs.toronto.edu

Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal

Alexei Lapouchnian, Yves Lespérance

claim paper

Read More »

152

click to vote

CIKM
2006
Springer

107views Information Technology» more CIKM 2006»

Efficient model selection for regularized linear discriminant analysis

15 years 10 months ago

Download www.cs.rpi.edu

Jieping Ye, Tao Xiong, Qi Li, Ravi Janardan, Jinbo...

claim paper

Read More »

109

click to vote

DAC
2010
ACM

105views Computer Architecture» more DAC 2010»

Worst-case response time analysis of resource access models in multi-core systems

15 years 10 months ago

Download pertsserver.cs.uiuc.edu

Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia...

claim paper

Read More »

139

click to vote

LOPSTR
2000
Springer

103views Automated Reasoning» more LOPSTR 2000»

A model for inter-module analysis and optimizing compilation

15 years 10 months ago

Download clip.dia.fi.upm.es

Francisco Bueno, Maria J. García de la Band...

claim paper

Read More »

178

click to vote

RTSS
1995
IEEE

85views Control Systems» more RTSS 1995»

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers