1341 search results - page 146 / 269 » Logic for Modeling Product Structure |
107
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Proliferation of mobile devices has posed challenges in the development of interaction models among devices. These models should allow the devices involved in an interaction to de...
118
click to vote
ER
2007
Springer
15 years 9 months ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
147
Voted
EWDW
1990
15 years 7 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
134
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
107
Voted
WSC
2004
15 years 4 months ago
2004
We describe a different approach to using XML to support the simulation modeling of supply chains. Instead of using XML to specify the simulation constructs, as most previous appr...