929 search results - page 9 / 186 » Computer assistance for model definition |
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
We propose a web-based computer-assisted tool for diagnosing progress in international negotiation. The system is based on a general linear model. Innovative features of the progr...
ICECCS
2000
IEEE
14 years 2 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
CMSB
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
EUROITV
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. While traditional technology acceptance models concentrate on relationships between usefulness and acceptance, they leave unresolved the questions about why a certain tec...
ASM
2010
ASM
13 years 10 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...