3653 search results - page 454 / 731 » Analyzing language development from a network approach |
193
click to vote
ICWS
2008
IEEE
15 years 8 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
190
click to vote
SLE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
182
click to vote
IMC
2004
ACM
16 years 2 days ago
2004
ACM
Monitoring any portion of the Internet address space reveals incessant activity. This holds even when monitoring traffic sent to unused addresses, which we term “background rad...
172
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
186
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Computer vision has traditionally focused on extracting structure, such as depth, from images acquired using thin-lens or pinhole optics. The development of computational imaging i...