7430 search results - page 356 / 1486 » Programming Applications in CIFF |
289
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of ...
184
Voted
INTERSENSE
2006
ACM
16 years 20 days ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
149
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
160
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
154
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...