2670 search results - page 338 / 534 » Modeling systems with internal state using evolino |
162
click to vote
VAST
2004
ACM
15 years 12 months ago
2004
ACM
We discuss a system for the digital capture of museum artefacts which are accumulated into a multimedia repository comprising 3D models, images, video and sound clips as well as t...
174
click to vote
PVLDB
2008
15 years 5 months ago
2008
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
146
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
160
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
158
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...