358 search results - page 2 / 72 » Multihomogeneous resultant formulae for systems with scaled ... |
RTSS
2005
IEEE
13 years 11 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
COLCOM
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract. Malicious Web content poses a serious threat to the Internet, organizations and users. Current approaches to detecting malicious Web content employ high-powered honey cli...
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining ba...
ICALT
2003
IEEE
13 years 10 months ago
2003
IEEE
Situated learning is known to be an effective didactic approach, yet, multimedia systems with built-in support for it are uncommon. We analyze the domain-independent requirements ...