Sciweavers

5477 search results - page 30 / 1096

» Contexts, Domains, and Software

18

ICSE
2010
IEEE-ACM

142views Software Engineering» more ICSE 2010»

Precise calling context encoding

13 years 12 months ago

Precise calling context encoding

Download www.cs.purdue.edu

William N. Sumner, Yunhui Zheng, Dasarath Weeratun...

claim paper

Read More »

28

COMPSAC
2007
IEEE

95views Software Engineering» more COMPSAC 2007»

Iterative Planning in the Context of Automated Code Synthesis

13 years 11 months ago

Iterative Planning in the Context of Automated Code Synthesis

Download www.emu.edu.tr

Jicheng Fu, Farokh B. Bastani, I-Ling Yen

claim paper

Read More »

17

AVI
2006

90views Software Engineering» more AVI 2006»

Learning and managing user context in personalized communications services

13 years 11 months ago

Learning and managing user context in personalized communications services

Download hci.icts.sbg.ac.at

Robert Dinoff, Richard Hull, Bharat Kumar, Daniel ...

claim paper

Read More »

26

ICST
2010
IEEE

116views Software Engineering» more ICST 2010»

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

13 years 7 months ago

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

Download www.dsi.unifi.it

Daniele Grasso, Alessandro Fantechi, Alessio Ferra...

claim paper

Read More »

32

DLOG
2011

230views Automated Reasoning» more DLOG 2011»

Two-Dimensional Description Logics of Context

13 years 1 months ago

Two-Dimensional Description Logics of Context

Download sunsite.informatik.rwth-aachen.de

We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...

Szymon Klarman, Víctor Gutiérrez-Bas...

claim paper

Read More »

« Prev « First page 30 / 1096 Last » Next »