1763 search results - page 101 / 353 » A Formalization of Polytime Functions |
101
click to vote
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The paper reports a study of a videoconference-based environment in decentralized university education and factors determining the success of teaching and learning in the environm...
SEW
2003
IEEE
15 years 3 months ago
2003
IEEE
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
109
click to vote
EUROCAST
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...