13717 search results - page 2502 / 2744 » Control Systems |
148
click to vote
IFIP
1993
Springer
15 years 7 months ago
1993
Springer
EPOS is a kernel software engineering environment, o ering integrated software con guration and process management. The EPOS process modeling PM support system runs on top of th...
88
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
Development of a research project in Computer Science, integrating a considerable number of research institutions and about 1200 individual researchers all over a country with big...
133
Voted
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
125
click to vote
VLDB
1993
ACM
15 years 7 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
102
Voted
SP
1989
IEEE
15 years 7 months ago
1989
IEEE
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...