8959 search results - page 360 / 1792 » Composing aspects with aspects |
160
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Domain modeling is an important aspect of software engineering. This paper presents our experience of modeling land transportation domain in the formal framework of Event-B. The do...
156
Voted
SIAMREV
2010
15 years 1 months ago
2010
Abstract. We describe microbial communities denoted biofilms and efforts to model some of their important aspects, including quorum sensing, growth, mechanics, and antimicrobial to...
216
click to vote
TIFS
2010
15 years 1 months ago
2010
Abstract--We make a connection between steganography design by minimizing embedding distortion and statistical physics. The unique aspect of this work and one that distinguishes it...
203
click to vote
TLT
2010
15 years 1 months ago
2010
Wikis today are being used as a tool to conduct collaborative writing assignments in classrooms. However, typical Wikis do not adequately address the assessment of individual stude...
184
click to vote
ICAIL
2011
ACM
14 years 6 months ago
2011
ACM
We study the formal relationships between the inferential aspects of Carneades (a general argumentation framework) and Defeasible Logic. The outcome of the investigation is that t...