2226 search results - page 111 / 446 » Pdk: The System and Its Language |
163
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
164
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
163
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
170
click to vote
SP
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes an expert system development toolset called the Production-Based Expert System Toolset (P-BEST) and how it is employed in the development of a modern generic ...
155
click to vote
SEFM
2006
IEEE
16 years 9 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...