4678 search results - page 534 / 936 » Integrated University Information Systems |
211
click to vote
FROCOS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
209
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
219
click to vote
CSREAEEE
2006
15 years 9 months ago
2006
: Collaborative and dynamic workflow management systems in logistic companies require strong information systems and computer support. Business processes in such industries general...
200
click to vote
DISCEX
2003
IEEE
16 years 28 days ago
2003
IEEE
This research project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mech...
175
click to vote
ICEIS
2002
IEEE
16 years 17 days ago
2002
IEEE
: The most valuable information assets of an organization are often stored in databases and it is pertinent for such organizations to ensure the integrity and confidentiality of t...