Sciweavers

1175 search results - page 127 / 235
» A Model for Structural Changes of Belief
Sort
View
ESOP
2006
Springer
15 years 10 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
BMCBI
2010
126views more  BMCBI 2010»
15 years 6 months ago
Simulation of a Petri net-based Model of the Terpenoid Biosynthesis Pathway
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
Aliah Hazmah Hawari, Zeti-Azura Mohamed-Hussein
SIGSOFT
2000
ACM
15 years 10 months ago
COM revisited: tool-assisted modelling of an architectural framework
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
Daniel Jackson, Kevin J. Sullivan
IAT
2010
IEEE
15 years 4 months ago
Modeling Dynamic Groups for Agent-Based Pedestrian Crowd Simulations
Group modeling is still an open challenge problem in pedestrian crowd simulations. Most existing work is based on socio-psychological models which can only describe the dynamics o...
Fasheng Qiu, Xiaolin Hu
ICRA
2003
IEEE
152views Robotics» more  ICRA 2003»
15 years 11 months ago
3D Modeling of Historic Sites Using Range and Image Data
— Preserving cultural heritage and historic sites is an important problem. These sites are subject to erosion, vandalism, and as long-lived artifacts, they have gone through many...
Peter K. Allen, Ioannis Stamos, Alejandro Troccoli...