3267 search results - page 593 / 654 » Computational Models of Language Acquisition |
CONCUR
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
EUSAI
2004
Springer
14 years 17 days ago
2004
Springer
Home networks and the interconnection of home appliances is a classical theme in ubiquitous computing research. Security is a recurring concern, but there is a lack of awareness of...
DSOM
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. Web Services is an XML-based technology that has attracted significant attention for building distributed Internet services. There have also been significant efforts tryi...
FOCS
2000
IEEE
14 years 13 days ago
2000
IEEE
A constant rebalanced portfolio is an investment strategy that keeps the same distribution of wealth among a set of stocks from day to day. There has been much work on Cover'...
TIC
2000
Springer
14 years 11 days ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...