Search Sciweavers | Sciweavers

4286 search results - page 32 / 858

» Formalizing Service Interactions

116

Voted

ECBS
2004
IEEE

77views Hardware» more ECBS 2004»

IRIS: A Semi-Formal Approach for Detecting Requirements Interactions

15 years 8 months ago

Download www2.enel.ucalgary.ca

Mohamed Shehata, Armin Eberlein, Abraham O. Fapoju...

claim paper

Read More »

click to vote

ISSE
2008

81views Security Privacy» more ISSE 2008»

Formal methods for interactive systems

15 years 4 months ago

Download www.hiraeth.com

Antonio Cerone, Paul Curzon

claim paper

Read More »

click to vote

INFORMATICASI
2006

65views more INFORMATICASI 2006»

A Formal Framework Supporting the Specification of the Interactions between Agents

15 years 4 months ago

Download www.informatica.si

Farid Mokhati, Mourad Badri, Linda Badri

claim paper

Read More »

105

click to vote

IS
2002

90views Artificial Intelligence» more IS 2002»

Formalizing visual interaction with historical databases

15 years 4 months ago

Download www.dsc.ufcg.edu.br

Sônia Fernandes Silva, Tiziana Catarci, Ulri...

claim paper

Read More »

107

click to vote

IJMMS
1998

68views more IJMMS 1998»

Formal architectural abstractions for interactive software

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers