5630 search results - page 244 / 1126 » Computability in Specification |
293
Voted
Book
"Before you can start learning specific servlet and JSP techniques, you need to have
the right software and know how to use it. This introductory chapter explains how to
obt...
200
Voted
Publication
This chapter discusses decision making under uncertainty. More specifically, it offers an overview of efficient Bayesian and distribution-free algorithms for making near-optimal se...
174
click to vote
SUTC
2008
IEEE
16 years 16 days ago
2008
IEEE
: The report of the President's Council of Advisors on Science and Technology (PCAST) has placed CPS on the top of the priority list for federal research investment [6]. This ...
132
Voted
TRIDENTCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents the software architecture of the ORBIT radio grid testbed1 . We describe the requirements for supporting the lifecycle of an experiment and how they influenced...
146
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...