7121 search results - page 438 / 1425 » Functions as Session-Typed Processes |
173
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
141
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
192
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
164
click to vote
ICDAR
1995
IEEE
15 years 10 months ago
1995
IEEE
The process of converting an analog map into structured digitized information requires several di erent operations, which are all time-consuming when performed manually. Strictly ...
170
click to vote
RE
1995
Springer
15 years 10 months ago
1995
Springer
Non-Functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFRFramework treats NF...