2373 search results - page 298 / 475 » The Design of the Zinc Modelling Language |
190
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
163
click to vote
CODES
2008
IEEE
16 years 29 days ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
184
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
169
click to vote
VRML
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes initial research using the Virtual Reality Modeling Language (VRML97) in construction industry applications. The modeling of steel structures and construction...
159
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...