Sciweavers

745 search results - page 62 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
149
Voted
AOSE
2004
Springer
15 years 9 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
120
Voted
CAINE
2001
15 years 4 months ago
Towards On-line and Personalized Learning - A Web-Search Engine Utility
Distance learning gives benefits for training organization, which are further enhanced by using new information and communication technology. Computerbased tools provide a solutio...
Sabine Leroy, Hervé Camus, M. Picavet
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 11 days ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
130
Voted
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 9 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
125
Voted
DSD
2006
IEEE
95views Hardware» more  DSD 2006»
15 years 7 months ago
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
Zhonghai Lu, Ingo Sander, Axel Jantsch