301 search results - page 34 / 61 » Process Modelling to Support Dependability Arguments |
VL
1993
IEEE
15 years 3 months ago
1993
IEEE
This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organiz...
STOC
2007
ACM
16 years 3 days ago
2007
ACM
We prove and extend a conjecture of Kempe, Kleinberg, and Tardos (KKT) on the spread of influence in social networks. A social network can be represented by a directed graph where...
108
click to vote
HT
1987
ACM
15 years 3 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
GRAPHICSINTERFACE
2001
15 years 1 months ago
2001
Physics-based modeling integrates dynamics and geometry. The standard methods to solve the Lagrangian equations use a direct approach in the spatial domain. Though extremely power...
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Computer-based concurrent engineering of products, denoted as Virtual Engineering (VE), is used extensively to meet the requirements of product development. Current research deals...